-- BP 7.1.6 content: InstanceStateMachine syschar: 3 persistence-version: 7.1.6

INSERT INTO SM_ISM
	VALUES ("4e0d2142-66fa-4914-835a-ef417bb54387",
	"f14206c0-11ca-4649-8ea1-ffe89e61d949");
INSERT INTO SM_SM
	VALUES ("4e0d2142-66fa-4914-835a-ef417bb54387",
	'',
	0);
INSERT INTO SM_MOORE
	VALUES ("4e0d2142-66fa-4914-835a-ef417bb54387");
INSERT INTO GD_MD
	VALUES ("8e8c49ee-0972-4165-b221-85ec2d6dd4a0",
	8,
	"4e0d2142-66fa-4914-835a-ef417bb54387",
	40,
	0,
	0,
	1,
	1,
	1,
	12,
	1,
	0,
	0,
	0,
	0,
	0,
	'4.1.17',
	'shlaer-mellor_metamodel_verifier::Metamodel Verifier::Metamodel Verifier::Metamodel Verifier::Object Verification::Instance State Machine');
INSERT INTO DIM_DIA
	VALUES ("8e8c49ee-0972-4165-b221-85ec2d6dd4a0",
	'',
	1.000000,
	0.000000,
	0.000000,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_OBJ_PROXY
	VALUES ("f14206c0-11ca-4649-8ea1-ffe89e61d949",
	'Object Verification',
	6,
	'ObjectVerification',
	'Collect and partially verify objects
   a. Verify non-referential attribute types
   b. Verify number of state models
      i. Only one instance state model
      ii. Only one assigner.
         A. Assigners are only allowed on associative objects.
   c. Identifier exists
   d. All attributes have a unique name.',
	"00000000-0000-0000-0000-000000000000",
	'../Object Verification.xtuml');
